(λ(_ : Bool) → λ(_ : Bool) → _@1) True False
